Algorithm logics

Synonyms for "algorithm logics" (8 found)

Ranked by relevance and common usage.

Closest matches (2)

Noun(2 words)
algorithmic logicalgorithmic reasoning

Strong matches (2)

Noun(2 words)
computational logiccontrol logic

Related words (4)

Noun(4 words)
decision logiclogic designprocedural logictheory of computation

Related word relations

OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.

4 relation types

More general

4 entries
formal logiclogicprogramming methodologysoftware engineering practices

More specific

9 entries
control logiccorrectness logicdata processing logicdecision logicformal property logicloop invariant logicmodal logictemporal logictermination logic

Collocations

6 entries
algorithmic logiccomputational logiccorrectness proofformal logicloop invarianttermination proof

Derivations

1 entries
algorithmic logic